Modified condition decision coverage

Results: 11



#Item
1Software engineering / Code coverage / DO-178B / Modified condition/decision coverage / LDRA Testbed / Reliability engineering / ISO / Test plan / Liverpool Data Research Associates / Software testing / Software development / Evaluation

Product Overview Software Technology LDRAcover™ Structural coverage analysis for optimal test effectiveness

Add to Reading List

Source URL: www.coressentinc.com

Language: English - Date: 2013-08-16 12:03:00
2Computer programming / Software metrics / Code coverage / Modified condition/decision coverage / Conditional / DO-248B / Control flow / Gcov / C / Software engineering / Software testing / Computing

Object and Source Coverage for Critical Applications with the C OUVERTURE Open Analysis Framework Matteo Bordin, Cyrille Comar, Tristan Gingold, ´ ome ˆ Jer

Add to Reading List

Source URL: www.adacore.com

Language: English - Date: 2011-08-29 18:34:45
3Binary decision diagram / Model checking / Software metrics / Software engineering / Modified condition/decision coverage / Code coverage / Mathematics / Formal methods / Software testing / Boolean algebra / Diagrams

Formalization and Comparison of MCDC and Object Branch Coverage Criteria Cyrille Comar, Jerome Guitton, Olivier Hainque, Thomas Quinot AdaCore, 46 rue d’Amsterdam, FPARIS (France) {comar, guitton, hainque, quino

Add to Reading List

Source URL: www.adacore.com

Language: English - Date: 2012-03-18 14:24:37
4Software engineering / Code coverage / DO-178B / Modified condition/decision coverage / LDRA Testbed / Reliability engineering / ISO / Test plan / Liverpool Data Research Associates / Software testing / Software development / Evaluation

Product Overview Software Technology LDRAcover™ Structural coverage analysis for optimal test effectiveness

Add to Reading List

Source URL: www.ldra.com

Language: English - Date: 2015-03-26 09:28:08
5Software engineering / Code coverage / DO-178B / Modified condition/decision coverage / LDRA Testbed / Reliability engineering / ISO / Test plan / Liverpool Data Research Associates / Software testing / Software development / Evaluation

Product Overview Software Technology LDRAcover™ Structural coverage analysis for optimal test effectiveness

Add to Reading List

Source URL: www.ldra.com

Language: English - Date: 2015-03-26 09:28:14
6Software engineering / Code coverage / DO-178B / Modified condition/decision coverage / LDRA Testbed / Reliability engineering / ISO / Test plan / Liverpool Data Research Associates / Software testing / Software development / Evaluation

Product Overview Software Technology LDRAcover™ Structural coverage analysis for optimal test effectiveness

Add to Reading List

Source URL: www.ldra.com

Language: English - Date: 2015-03-26 09:28:15
7Software engineering / Code coverage / DO-178B / Modified condition/decision coverage / LDRA Testbed / Reliability engineering / ISO / Test plan / Liverpool Data Research Associates / Software testing / Software development / Evaluation

Product Overview Software Technology LDRAcover™ Structural coverage analysis for optimal test effectiveness

Add to Reading List

Source URL: www.ldra.com

Language: English - Date: 2015-03-26 09:28:00
8Computing / LDRA Testbed / Computer programming / Propositional calculus / Software metrics / Logical disjunction / Boolean data type / Conditional / Relational operator / Software testing / Boolean algebra / Software engineering

TBsafe® - Modified Condition / Decision Coverage (MC/DC) Software Technology

Add to Reading List

Source URL: www.ldra.com

Language: English - Date: 2014-12-04 11:36:20
9Electronics / Modified condition/decision coverage / Code coverage / Fault coverage / Mutation testing / Test case / Observability / Oracle Database / Control theory / Software testing / Software / Electronic engineering

Observable Modified Condition/Decision Coverage Michael Whalen, Gregory Gay, Dongjiang You Mats P.E. Heimdahl Department of Computer Science and Engineering University of Minnesota, USA

Add to Reading List

Source URL: www.greggay.com

Language: English - Date: 2013-04-15 11:45:12
10Embedded systems / Software requirements / Electronics / Software / Safety / Code coverage / DO-178B / Modified condition/decision coverage / DO-254 / Software testing / Software development / Avionics

PDF Document

Add to Reading List

Source URL: shemesh.larc.nasa.gov

Language: English - Date: 2001-06-05 11:24:59
UPDATE